Minimaux des feuilletages algébriques de ${\Bbb C}{\Bbb D}(n)$

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on two structu...

Extraction et usages de motifs minimaux en fouille de données, contribution au domaine des hypergraphes

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Algorithmique des courbes algébriques pour la cryptologie

In this memoir, we present various works on the theme of algorithms for algebraic curveswith a view towards cryptology. We describe algorithms for computing discrete logarithms,which is a problem whose difficulty is the key to the security of curve-based cryptosystems.A first class of algorithms contains «index-calculus»-like techniques ; a second class containsmethods relying o...

Une Caractérisation des Langages Algébriques Bornés

Langages algébriques de mots biinfinis

Les langages rationnels de mots biinfinis ont CtC rkemment dCfinis et CtudiCs dans divers articles [2,3, lo]; ce sont les langages de mots biinfinis qui appartiennent 5 la fermeture rationnelle biinfinie des langages rationnels de mots finis (c’est B dire qui sont union finie de langages de la forme “ABC” oh A, B, C sont des langages rationnels de mots finis). Nous nous proposons dans ce papier...